Safe Object Composition in the Presence of Subtyping
نویسندگان
چکیده
Object composition arises as a natural operation to combine objects in an object-based setting. In our incomplete objects setting it has a strong meaning, as it may combine objects with different internal states. In this paper we study how to make object composition safe in the presence of width subtyping, we propose two solutions, and discuss the alternative ones.
منابع مشابه
Seventh International Workshop on Foundations of Object-Oriented Languages
The Seventh International Workshop on Foundations of Object-Oriented Languages (FOOL 7) was held on January 22, 2000, and it was colocated with the ACM Symposium on Principles of Programming Languages in Boston, Massachusetts, USA. Martı́n Abadi chaired the program committee, which received 19 submissions and accepted 6 of them. After the workshop, extended versions of 4 articles were solicited ...
متن کاملSafe and Flexible Objects with Subtyping
We design a calculus where objects are created by instantiating classes, as well as mixins. Mixin-instantiated objects are “incomplete objects”, that can be completed in an object-based fashion. The combination of class-based features with object-based ones offers some flexible programming solutions. The fact that all objects are created from fully-typed constructs is a guarantee of controlled ...
متن کاملSubtyping-inheritance Conflicts: the Mobile
In sequential classand mixin-based settings, subtyping is essentially a relation on objects: no subtype relation is defined on classes and mixins, otherwise there would be conflicts with the inheritance mechanism, creating type un-safety. Nevertheless, a width-depth subtyping relation on class and mixin types is useful in the realm of mobile and distributed processes, where object-oriented code...
متن کاملSubtyping for Distributed Object Stores (extended Abstract)
I review the Liskov and Wing subtype deenition that takes into consideration the problem of subtyping in the presence of mutable objects. I then show how this notion of subtyping is relevant to the design of the TOM object repository whose main application today is a data type conversion service accesssible through the Web.
متن کاملComplexity of Concrete Type-Inference in the Presence of Exceptions
Concrete type-inference for statically typed object-oriented programming languages (e.g., Java, C ++) determines at each program point, those objects to which a reference may refer or a pointer may point during execution. A precise compile-time solution for this problem requires a ow-sensitive analysis. Our new complexity results for concrete type-inference distinguish the diiculty of the intra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005